Basic influence diagrams and the liberal stable semantics

نویسندگان

  • Paul-Amaury Matt
  • Francesca Toni
چکیده

This paper is concerned with the general problem of constructing decision tables and more specifically, with the identification of all possible outcomes of decisions. We introduce and propose basic influence diagrams as a simple way of describing problems of decision making under strict uncertainty. We then establish a correspondence between basic influence diagrams and symmetric generalised assumption-based argumentation frameworks and adopt an argumentationbased approach to identify the possible outcomes. We show that the intended solutions are best characterised using a new semantics that we call liberal stability. We finally present a number of theoretical results concerning the relationships between liberal stability and existing semantics for argumentation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Defining the Semantics of UML Class and Sequence Diagrams for Ensuring the Consistency and Executability of OO Software Specification

In order to ensure the correctness of OO Software Specification when using UML, the semantics of UML diagrams must be rigorously defined. To be rigorous, one typically resorts to formal languages for specifying UML diagrams. However, formal languages are usually heavy to learn/use and formally defined semantics of diagrams usually does not show how it is connected to the semantics of programs. ...

متن کامل

Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning

We define abstract proof procedures for performing credulous and sceptical non-monotonic reasoning, with respect to the argumentation-theoretic formulation of non-monotonic reasoning proposed in [1]. Appropriate instances of the proposed proof procedures provide concrete proof procedures for concrete formalisms for non-monotonic reasoning, for example logic programming with negation as failure ...

متن کامل

Formal Semantics for AUML Agent Interaction Protocol Diagrams

In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the usage of net components which provide basic tasks and the structure for Petri Nets. Agent interaction protocol diagrams are used to model agent conversations on an abstract level. By mapping elements of the diagrams to net comp...

متن کامل

Operational analysis of sequence diagram specifications

This thesis is concerned with operational analysis of UML 2.x sequence diagram specifications. By operational analysis we mean analysis based on a characterization of the executions of sequence diagrams, or in other words an operational semantics for sequence diagrams. We define two methods for analysis of sequence diagram specifications – refinement verification and refinement testing – and bo...

متن کامل

Formal Semantics of Time Sequence Diagrams

Time Sequence Diagrams TSDs are a graphical representation employed to clarify the communication between service users and a service provider in the ISO OSI basic reference model In this paper we de ne the syntax and semantics of a textual representation for TSDs As well we provide a method for translating TSDs into this language Furthermore some extensions of TSDs are introduced that allow som...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008